Remove the free_vcpu() interface I added in the preceding
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Sat, 14 Jan 2006 22:40:09 +0000 (23:40 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Sat, 14 Jan 2006 22:40:09 +0000 (23:40 +0100)
commitcbafa2c56bce99c8b5adf495aa33929439152fb3
treecfb4a7c99768975dae21fcd749811d15302c8594
parent0ed0e371937cadb524abb1aa5d85789565cec7d6
Remove the free_vcpu() interface I added in the preceding
changeset. It makes no sense, since an allocated VCPU
cannot be freed at any arbitrary point because individual
VCPUs are not refcounted.

Instead extend free_domain() slightly so it really does do
the reverse of alloc_vcpu() for every allocated VCPU.

Signed-off-by: Keir Fraser <keir@xensource.com>
xen/common/domain.c
xen/common/schedule.c
xen/include/xen/sched.h